Incremental Dynamics
نویسنده
چکیده
An incremental semantics for a logic with dynamic binding is developed on the basis of a variable free notation for dynamic logic. The variable free indexing mechanism guarantees that active registers are never overwritten by new quantifier actions. The resulting system has the same expressive power as Dynamic Predicate Logic or Discourse Representation Theory, but comes with a more well behaved consequence relation. A calculus for dynamic reasoning with anaphora is presented and its soundness and completeness are established. Incremental dynamic logic provides an explicit account of anaphoric context and yields new insight into the dynamics of anaphoric linking in reasoning. 1991 Mathematics Subject Classification: 03B65, 68Q55 1991 Computing Reviews Classification System: F.3.1, F.3.2, I.2.4, I.2.7
منابع مشابه
Seismic Reliability Analysis of Offshore Fixed Platforms Using Incremental Dynamic Analysis
It is generally accepted that performance-based design has to be reliability-based. Seismic performance evaluation is based on nonlinear dynamics and reliability theory taking into account uncertainties during analysis. Considering the economic importance of jacket type offshore platforms, the present research aims to assess the seismic performance of offshore steel platforms. In this study, th...
متن کاملComparison of the dynamics of consumption oxygen in the recovery period after two maximum exercise continuous and interval in female basketball players
Introduction: The dynamics of oxygen after exercise is considered as an important indicator of fitness and cardiovascular health. The objective of this study was to compare the dynamics of oxygen consumption in the recovery period after two maximum exercise continuous and interval in female basketball players. Methods: In this study,7 women basketball players were selected and in three separat...
متن کاملMetastable Pain-Attention Dynamics during Incremental Exhaustive Exercise
Background: Pain attracts attention on the bodily regions. Attentional allocation toward pain results from the neural communication across the brain-wide network "connectome" which consists of pain-attention related circuits. Connectome is intrinsically dynamic and spontaneously fluctuating on multiple time-scales. The present study delineates the pain-attention dynamics during incremental cycl...
متن کاملOxygen uptake kinetics during incremental- and decremental-ramp cycle ergometry.
The pulmonary oxygen uptake (VO2) response to incremental-ramp cycle ergometry typically demonstrates lagged-linear first-order kinetics with a slope of ~10-11 ml·min(-1)·W(-1), both above and below the lactate threshold (θL), i.e. there is no discernible VO2 slow component (or "excess" VO2) above θL. We were interested in determining whether a reverse ramp profile would yield the same response...
متن کاملIncremental online sparsification for model learning in real-time robot control
For many applications such as compliant, accurate robot tracking control, dynamics models learned from data can help to achieve both compliant control performance as well as high tracking quality. Online learning of these dynamics models allows the robot controller to adapt itself to changes in the dynamics (e.g., due to time-variant nonlinearities or unforeseen loads). However, online learning...
متن کاملFast and Efficient Incremental Learning for High-Dimensional Movement Systems
We introduce a new algorithm, Locally Weighted Projection Regression (LWPR), for incremental real-time learning of nonlinear functions, as particularly useful for problems of autonomous real-time robot control that requires internal models of dynamics, kinematics, or other functions. At its core, LWPR uses locally linear models, spanned by a small number of univariate regressions in selected di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 10 شماره
صفحات -
تاریخ انتشار 2001